include protocol manageSelf_Toplevel;

protocol manageSelf {
    manager manageSelf_Toplevel or manageSelf;
    manages manageSelf;

child:
    manageSelf();
    async __delete__();
};
